The Fixed-Point Theory of Strictly Contracting Functions on Generalized Ultrametric Semilattices
نویسندگان
چکیده
We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and in which the meet operation of the semilattice coexists with a generalized distance function in a tightly coordinated way. We prove a constructive fixed-point theorem for strictly contracting functions on directed-complete generalized ultrametric semilattices, and introduce a corresponding induction principle. We cite examples of application in the semantics of logic programming and timed computation, where, until now, the only tool available has been the non-constructive fixed-point theorem of Priess-Crampe and Ribenboim for strictly contracting functions on spherically complete generalized ultrametric semilattices.
منابع مشابه
The fixed-point theory of strictly causal functions
We ask whether strictly causal components form well defined systems when arranged in feedback configurations. The standard interpretation for such configurations induces a fixed-point constraint on the function modelling the component involved. We define strictly causal functions formally, and show that the corresponding fixed-point problem does not always have a well defined solution. We exami...
متن کاملGeneralized Ultrametric Semilattices of Linear Signals
We consider certain spaces of linear signals equipped with a standard prefix relation and a suitably defined generalized distance function. We introduce a new class of abstract structures, which we call generalized ultrametric semilattices, and prove a representation theorem stating that every generalized ultrametric semilattice with a totally ordered distance set is isomorphic to a space of th...
متن کاملOn Fixed Points of Strictly Causal Functions
We ask whether strictly causal components form well defined systems when arranged in feedback configurations. The standard interpretation for such configurations induces a fixed-point constraint on the function modelling the component involved. We define strictly causal functions formally, and show that the corresponding fixed-point problem does not always have a well defined solution. We exami...
متن کاملAn Iterative Scheme for Generalized Equilibrium, Variational Inequality and Fixed Point Problems Based on the Extragradient Method
The problem ofgeneralized equilibrium problem is very general in the different subjects .Optimization problems, variational inequalities, Nash equilibrium problem and minimax problems are as special cases of generalized equilibrium problem. The purpose of this paper is to investigate the problem of approximating a common element of the set of generalized equilibrium problem, variational inequal...
متن کاملGeneralized hyperstability of the cubic functional equation in ultrametric spaces
In this paper, we present the generalized hyperstability results of cubic functional equation in ultrametric Banach spaces using the fixed point method.
متن کامل